#include <main.h>
#include <syscall.h>
#include "archinc.h"

extern void syscallisr();

void arch_init()
{
	ARCH[0] = 'x';
	ARCH[1] = '8';
	ARCH[2] = '6';
	ARCH[3] = '\0';
	
	gdt_install();
	idt_install();
	isrs_install();
	irq_install();	
	timer_init();
	clock_init();
	
    idt_set_gate(SYSCALL_INT, (unsigned)syscallisr, 0x08, 0x8E);
    
	asm("sti");
}
